Reasoning about madness

The Physical Signs of Reasoning Madness

has been placed by the Press, the Bar, and the Magistracy. The necessity for adopting the precision which characterises modern medicine is illustrated by observing what now occurs in the dealings of an alienist in a court of law, where there is no longer any discussion as to where reason ends and insanity begins, where philosophical subtleties are dispensed with; where psychology is ignored, an...

Updates by Reasoning about States Updates by Reasoning about States *

We present a language extension to Datalog which allows to specify deterministic update procedures in a declarative way. Existing update languages either rely on procedural aspects of program evaluation or leave the framework of deductive databases and logic programming. In contrast, we show that declarative update semantics can be attained by incorporating state terms into the language. Since ...

Inductive Reasoning about Unawareness Inductive Reasoning about Unawareness

We develop a model of games with awareness that allows for di erential levels of awareness. We show that, for the standard modal logical interpretations of belief and awareness, a player cannot believe there exist propositions of which he is unaware. Nevertheless, we argue that a boundedly rational individual may regard the possibility that there exist propositions of which she is unaware as be...

Preface Method to His Madness : The Truth About Lacan

Reasoning about Student Knowledge and Reasoning

A basic feature of Intelligent Tutoring Systems (ITS) is their ability to represent domain knowledge that can be attributed to the student at each stage of the learning process. In this paper we present a general (first order logic) framework for the representation of this kind of knowledge acquired by the system through the analysis of the student answers. This represantation makes it possible...